■ formula_17: dos raíces reales distintas.