代數種子在指數映射下的精確自由度轉換

對代數元組 A，Lindemann–Weierstrass 給出 trdeg Q(e^A) = ldim_Q(A)，且 e^{a_i} 之間每個代數關係都由整數關係 m 的 X^m − 1 生成（所以 Schanuel 的 δ(A) = 0 在代數種子上成立）。文中視為 L–W 的結構推論，不是新定理。