donde por formula_48 entendemos lo mismo que formula_55, (o, como antes formula_56...es lo mismo, formula_57).