Inverse Tangent of Imaginary Number/Proof 2