How do you verify sin x csc (pi/2 - x)= tan x?