Si hubiera un formula_144 tal que formula_145, tendríamos que