1. No category

5.3 三角関数の加法定理