Prove the following: 8. cos(π + x) cos (-x) / sin (π + x) cos (π/2 + x) = cot^2x