Esto es así porque, como hemos elegido formula_27 y formula_20 de forma que formula_62, se cumple