No se me ocurre como probar esto.
Análogo a como se demuestra la unicidad, se me ocurrió probar que existe "y" t.q zy=1 y llegar a que "y" distinto de "x".
Con asociativa del monoide "z.x.y=y" y "z.y.x=x".
Y con la distributiva de anillo asumo que tengo que hacer algo (sino se hubiese probado para monoides), pero no se me ocurre qué hacer.
Cualquier ayuda es bienvenida.
Saludos
Rafael