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