Prove cos(x)+cos(2x)+cos(3x)=cos(2x)(1+2cos(x)) ?