De otro modo, si formula_39, entonces formula_44, por lo tanto formula_45.