Es sei K {\displaystyle {}K} ein Zahlkörper, F ∈ K [ X ] {\displaystyle {}F\in K[X]} ein Polynom vom Grad d {\displaystyle {}d} und | − | {\displaystyle {}\vert {-}\vert } ein Betrag auf K {\displaystyle {}K} .
Dann gibt es eine positive reelle Zahl c > 0 {\displaystyle {}c>0} derart, dass
für alle x ∈ K {\displaystyle {}x\in K} gilt.
![{\displaystyle {}F\in K[X]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/50220ae49fd4c5cc329970fc12b301c78efa889b)
