Por eixemplo, contrimostrando que g • g = 1 ta bell elemento g de G ye equivalent a contrimostrar que a(g) • a(g) = 1, porque aplicando a a la primera igualdat da la segunda, y aplicando b a la segunda da atra vegata la primera.