(a) si formula_37, entonces formula_25,