Supongamos formula_55 verifica formula_8.