Use expansion of #sin(A+B)# to prove #sin(x+pi/2)=cosx# ?