Entonces es formula_15 y formula_16 verifica formula_10.