Demostración Dada la definición de la operación se sigue el resultado ya que como en un campo no hay divisores de cero entonces formula_47 para todo formula_21 implica que formula_49 o formula_50para todo formula_21, i.e.