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