tendremos entonces que formula_4.