Teorema: Si formula_20 y formula_21, entonces formula_29.