https://www.glc.us.es/~jalonso/calculemus/si-g-es-un-grupo-y-a-%e2%88%88-g-entonces-a-a%e2%81%bb%c2%b9-1/
Si G es un grupo y a ∈ G, entonces a * a⁻¹ = 1