>>470
教科書の加法定理の練習問題っぽいからそう思ったんだけど