加法定理の導出