Inverse Tangent of i

Theorem
The inverse tangent of $i$ is not defined.

Proof
$\tan z_0 = i$.

This contradicts the theorem Sum of Squares of Sine and Cosine:
 * $\sin^2 z_0 + \cos^2 z_0 = 1$

Hence the result by Proof by Contradiction.