How do you verify the identity #sin(x+y)sin(x-y)=sin^2x-sin^2y#?