Lindemann-Weierstrass theorem

(number theory) A result that is useful in establishing the transcendence of numbers, stating that, if α₁, ..., αₙ are algebraic numbers which are linearly independent over the rational numbers ℚ, then e^(α₁), ..., e^(αₙ) are algebraically independent over ℚ.