>>129
こんなのが手元の本に書いてあった。違ったらごめんよ

ln α_jを代数的数α_jの対数の主値とする
H,A_j≧4と j=1,2,3,・・・,m に対してH(α_j)≦A_j、H(β_j)≦H とする
ただし、代数的数αに対してH(α)はαの高さである
degQ(α_1,・・・,α_m,β_0,・・・,β_m)=nとし
Ω=lnα_1・・・lnα_m，　Ω'=Ω/lnA_mとする
もしΛ_0=b_0 + lnb_1 + ・・・ + lnb_m ≠ 0 なら
|Λ_0|>(HΩ)^(-cΩlnΩ')，　c=(16mn)^(200m)
が成り立つ[Baker,1977]

この定理はもっと拡張されてるみたいで、Ω'を排除できるみたい