Si formula_16 tiene una presentación formula_1 y formula_78 una presentación formula_103 con formula_104 y formula_105 disjuntos, entonces el producto libre formula_106 tiene una presentación formula_107.