Pero si formula_16 entonces formula_18 (ya que formula_2 lo hemos tomado de esa manera), luego es formula_18 y formula_16, es decir, formula_22.