y lo denotamos por formula_18.