Schanuel's Conjecture Implies Transcendence of Log Pi

Theorem
Let Schanuel's Conjecture be true.

Then $\ln \pi$ is transcendental.

Proof
Assume the truth of Schanuel's Conjecture.

Let $z_1 = \ln \pi$, $z_2 = i \pi$.

By Schanuel's Conjecture, $\{\ln \pi, i \pi, \pi, e^{i \pi}\}$ has transcendence degree at least $2$.

However, by Euler's Identity, $e^{i \pi} = -1$ is algebraic.

Also, $i \pi$ and $\pi$ are not algebraically independent, as they satisfy $x^2 + y^2 = 0$, where $x = i \pi$ and $y = \pi$.

Therefore, if Schanuel's Conjecture holds, $\ln \pi$ must be transcendental.