Supongamos que formula_240 donde formula_241.