>>860

その定理はまだ読んでいません。
三角関数の定義の後に読もうと思います。