formula_1028 para toda formula_987 no nula.