Dada la definición de la operación se sigue el resultado ya que, si formula_45, formula_46 y formula_47 por lo que formula_48 donde formula_49 debido a que formula_50 para todo formula_29.