formula_6 para algún valor real de formula_5.