Es sei K {\displaystyle {}K} ein Körper und K ( T ) {\displaystyle {}K(T)} der Körper der rationalen Funktionen über K {\displaystyle {}K} . Finde einen diskreten Bewertungsring R ⊆ K ( T ) {\displaystyle {}R\subseteq K(T)} mit Q ( R ) = K ( T ) {\displaystyle {}Q(R)=K(T)} und mit
![{\displaystyle {}R\cap K[T]=K}](https://wikimedia.org/api/rest_v1/media/math/render/svg/06dd97d87aad06e4b326acac3322ed429dfd4a8b)
.