How do you prove cos^-1(x)=pi/2-sin^-1(x)?