正方自由整数因子化定理. 正弦ポルトアレグレカルロスバルボサ-リマ. 正接分割角度定理証明.

正弦ダイmkt-リンカーン.