Hermite-Lindemann-Weierstrass Theorem

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

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

where $e$ is Euler's number.