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