Suponiendo que existe formula_15 tal que formula_16.