代數標量、對數提升與精確逃逸邊界

令 L_alg = exp⁻¹(Q̄^×)：對 0 ≠ λ ∈ L_alg，βλ ∈ L_alg 當且僅當 β ∈ Q（Gelfond–Schneider），B·λ ∈ L_alg^s 當且僅當 B 為有理（Baker）；分支移位是有理縮放；並指出個別的超越性不給出聯合的代數獨立。