αj,βjを代数的数とする。

線形結合L(α)=α0+α1logβ1+α2logβ2+・・・

が0でなければ、その大きさは具体的に表示される数によって、下から

|L(α)|＞cH(α)^(-c')

で抑えられる

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

ここで、ｃ、ｃ’はいくつかのβのみによる具体的な定数である。

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝