Probar que, más generalmente, si formula_49 y formula_53, entonces formula_54