Verify: sin(x + y)sin(x - y) = sin^2x - sin^2y