Supongamos que formula_145.