Con esto se puede mostrar que "E" es un grupo abeliano con elemento identidad formula_12.