Prove that: cos 100° + cos 20° = cos 40°