How do you verify the identity #cos((5pi)/4-x)=-sqrt2/2(cosx+sinx)#?