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