Then there is an absolute constant C such that h ( D ) > C | D | log ⁡ | D | . {\displaystyle h(D)>C{\frac {\sqrt {|D|}}{\log |D|}}.} Theorem (Deuring; 1933).
Στη συνέχεια, υπάρχει μια απόλυτη σταθερά C έτσι ώστε h ( D ) > C | D | log ⁡ | D | . {\displaystyle h(D)>C{\frac {\sqrt {|D|}}{\log |D|}}.} Θεώρημα (Deuring; 1933).