How do you prove (CosA + CosB)^2 + (SinA + SinB)^2 = 2[1 + cos(A - B)]?