Supongamos que formula_261.