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