Además, aprovechando el hecho de que formula_14 se deduce que formula_15 y luego formula_16