How do you prove the identity 1+cos2θsin(2θ)=cotθ?