Un corolario inmediato es la identidad de composición