Schanuel's Conjecture Implies Algebraic Independence of Pi and Euler's Number over the Rationals

Theorem
Let Schanuel's Conjecture be true.

Then $\pi$ (pi) and $e$ (Euler's number) are algebraically independent over the rational numbers $\Q$,

Proof
Assume the truth of Schanuel's Conjecture.

Let $z_1 = 1$ and $z_2 = 2 i \pi$.

Since $z_1$ is wholly real and $z_2$ is wholly imaginary, they are linearly independent over $\Q$.

By Schanuel's Conjecture, the extension field $\Q \left({z_1, z_2, e^{z_1}, e^{z_2}}\right)$ has transcendence degree at least $2$ over $\Q$.

That is, the extension field $\Q \left({1, 2 i \pi, e, 1}\right)$ has transcendence degree at least $2$ over $\Q$.

However, $1$ is algebraic.

Therefore $2 i \pi$ and $e$ must be algebraically independent over $\Q$.

$\pi$ and $e$ are not algebraically independent over $\Q$.

Then, then there would be a non-trivial polynomial $g \left({x, y}\right)$ with rational coefficients satisfying:
 * $g \left({\pi, e}\right) = 0$

Then, one can construct a non-trivial polynomial $f \left({x, y}\right) = g \left({\dfrac {ix} 2, y}\right) g \left({\dfrac {-ix} 2, y}\right)$ with rational coefficients satisfying:
 * $f \left({2 i \pi, e}\right) = 0$

which is contradictory to the previous statement that no such polynomials exist.

Therefore, if Schanuel's Conjecture is true, then $\pi$ and $e$ are algebraically independent over $\Q$.