How to prove that #sin (pi/2 - theta)# = #cos theta# ?