Open Question: Prove cos(a+b)(cos b)+sin(a+b)(sin b) = cos a?