加法定理を全て証明せよ。