話変わるけど、｢加法定理の証明｣ってどうなんだろね。
｢高校の教育課程に則った証明｣をさせたいというのはわかるけど、それは｢数学的｣じゃ無い気がしてならない。