ベイカーの定理
定理1 (対数関数の一次形式の線形独立性)
α 1 , ... , α n {\displaystyle \scriptstyle \alpha _{1},\ldots ,\ \alpha _{n}} を 0 ではない代数的数とする。もし、 log  α 1 , ... , log  α n {\displaystyle \scriptstyle \log \alpha _{1},\ldots ,\ \log \alpha _{n}} が有理数体上線形独立であるならば、 1 , log  α 1 , ... , log  α n {\displaystyle \scriptstyle 1,\ \log \alpha _{1},\ldots ,\ \log \alpha _{n}} は、代数的数体上線形独立である。
定理2 (対数関数の一次形式の下界の評価)
α 1 , ... , α n {\displaystyle \scriptstyle \alpha _{1},\ldots ,\ \alpha _{n}} を 0 ではない、次数が d 以下、高さが A 以下の代数的数とする。