ゲルフォント＝シュナイダーの定理
α 1 , α 2 , β 1 , β 2 {\displaystyle \alpha _{1},\alpha _{2},\beta _{1},\beta _{2}} を 0 以外の代数的数とする。もし、 log  α 1 , log  α 2 {\displaystyle \log \alpha _{1},\log \alpha _{2}} が有理数体上線形独立であるならば、 β 1 log  α 1 + β 2 log  α 2 ≠ 0 {\displaystyle \beta _{1}\log \alpha _{1}+\beta _{2}\log \alpha _{2}\neq 0} である。