Existe un elemento "e" de "G" que al ser operado por un elemento cualquiera "a" de "G"; deja invariante a este último verificando lo siguiente, si G es un grupo abeliano (caso contrario, verificará una de sus partes):