How do you verify cos (x-y) - cos (x+y) = 2 sin x sin y?