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