Nach Fakt ist L der Quotientenkörper des Ganzheitsrings R. Ist q∈Q(R)=L ganz über R, so ist q nach Aufgabe auch ganz über ℤ und gehört selbst zu R.