How do you prove #Cos(x-(3pi)/2)=-sinx#?