Hermite-Lindemann-Weierstrass Theorem

Theorem
Let $a_1, \cdots, a_n$ be algebraic numbers (possibly complex) that are linearly independent over the rational numbers $\Q$.

Then:
 * $e^{a_1}, \cdots, e^{a_n}$ are algebraically independent.

where $e$ is Euler's number.

Also known as
Also known as:
 * The Lindemann-Weierstrass Theorem
 * The Hermite-Lindemann Theorem