Sea formula_4 una extensión de formula_5.