Notemos que cuando x, y son elementos de A, se tiene que