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