Proof of Theorem of converting cartesian to polar