y tal que formula_7 no es un real.