Por el teorema anterior, tenemos que si formula_72 y formula_78, entonces formula_79.