How do you verify the identity cos(π3+x)+cos(π3x)=cosx?