最大公約数の計算 (mod') を追加する。
そこでは、sig1_projとsig2_projを使ってみる。