Lambert W of Non-Zero Algebraic Number is Transcendental

Theorem
Let $W$ denote the (general) Lambert W function.

Let $a$ be a non-zero algebraic number.

Then, $W \left({a}\right)$ is transcendental.

Proof
From the definition of Lambert W function:
 * $a = W \left({a}\right) e^{W \left({a}\right)}$

$W \left({a}\right)$ is not transcendental.

Hence, $W \left({a}\right)$ is algebraic.