Proof #cos(x+y) cos(x-y)= cos^2x + cos^2y - 1#?