加法定理ってどの定理のこと?