Teorema 1.8: "Un semigrupo formula_24 es un grupo si y sólo si"