Supongamos que formula_6.