Recordemos que, por definición, e es un neutro de una operación * en un conjunto "E", ssi, para todo "a" en "E" se cumple que a*e=a y e*a=a.