Existência do elemento neutro da multiplicação