Es sei K {\displaystyle {}K} ein Körper und sei
ein surjektiver Gruppenhomomorphismus mit ν ( f + g ) ≥ min { ν ( f ) , ν ( g ) } {\displaystyle {}\nu (f+g)\geq \min\{\nu (f),\nu (g)\}} für alle f , g ∈ K × {\displaystyle {}f,g\in K^{\times }} . Zeige, dass
ein diskreter Bewertungsring