Es sei R {\displaystyle {}R} ein normaler Integritätsbereich und a ∈ R {\displaystyle {}a\in R} . Wenn es ein Element x ∈ Q ( R ) {\displaystyle {}x\in Q(R)} mit x k = a {\displaystyle {}x^{k}=a} gibt, so ist bereits x ∈ R {\displaystyle {}x\in R} .
