Proof: cos(a+b) = (cos a)(cos b)-(sin a)(sin b)