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