Prove the following:
= cos(π+x)cos(−x)sin(π−x)cos(π2+2)=cot2 x
[cos(π+x) cos(-x)] divided by / sin(π-x) cos(π/2 + x) = cot^2x