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