How do you verify csc x cos (pi/2 - x) = 1?