Suponiendo que formula_15, podemos escribir: