Nótese que, si formula_5, entonces