Inverse Tangent of Imaginary Number/Proof 1