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