Hermite-Lindemann-Weierstrass Theorem/Weaker

Theorem
Let $a$ be a non-zero algebraic number (possibly complex).

Then:
 * $e^a$ is transcendental

where $e$ is Euler's number.

Proof
This follows trivially from Hermite-Lindemann-Weierstrass Theorem by taking $n = 1$.