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