Es sei ${\displaystyle {}R}$ ein Zahlbereich mit Diskriminante ${\displaystyle {}\triangle }$ und ${\displaystyle {}s}$ Paaren von komplexen Einbettungen. Es sei ${\displaystyle {}d_{\tau }}$ eine Familie von positiven reellen Zahlen zu jeder reellen oder komplexen Einbettung, wobei für konjugiert komplexe Einbettungen die gleiche Zahl vorliege. Ferner gelte

${\displaystyle {}\prod _{\tau }d_{\tau }>\left({\frac {2}{\pi }}\right)^{s}{\sqrt {\vert {\Delta }\vert }}\,}$

Dann gibt es ein ${\displaystyle {}f\in R}$, ${\displaystyle {}f\neq 0}$, mit der Eigenschaft

für alle ${\displaystyle {}\tau }$.