How do you prove # cos(pi/3 + x) + cos(pi/3 - x) = cosx#?