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