https://www.glc.us.es/~jalonso/calculemus/17-ago-23/
Si G es un grupo y a ∈ G, entonces aa⁻¹ = 1