Teorema 1.21: "Sea formula_24 un grupo y formula_40 un elemeno de formula_24.