El número real "x" está en formula_58 si sólo si formula_59.