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