Teorema 1.9: "Un semigrupo formula_24 es un grupo si y sólo si para cualesquiera formula_40 y formula_70 de formula_24 las ecuaciones"