Sea formula_14 una base de formula_1 y formula_16 una base de formula_8.