How do you prove csc^-1(x)=pi/2 -sec^-1(x)?