En efecto, sean formula_62 con formula_63.