Teorema 1.4 (Ley conmutativa general): "Sea formula_24 un monoide conmutativo y formula_46 elementos de formula_24.