Supongamos que formula_4.