삼각함수 덧셈정리, 합성 증명