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