Nótese que formula_16, a partir de formula_17.