Sea formula_30 un elemento no nulo de formula_77 (que debe existir ya que formula_77 es un cuerpo), entonces hay un formula_221 en formula_77 tal que formula_223 En termino del ideal formula_56 lo anterior dice que para cada formula_28 que no está en formula_56 podemos hallar un formula_6 en formula_228 tal que formula_229 es un elemento de formula_105