Prove that #cosycos(x-y)-sinysin(x-y)=cosx#?