How do you prove (1+sinx)^2 + (1-sinx)^2 = 4 - 2 cos^2x?