(d) si formula_55 y formula_56, entonces formula_54,