1つ目の条件を満たす、正で最小の整数になります。m_2)$$となるようにしたいです。(r_2-x)m_{1,2}^{-1}$$となります。モジュラ逆数を表します。■「このモジュラ逆数を計算するのに、拡張互除法を使うんだね。倍数を足さないとダメなのか。値を持つようにすればいいんだね。■「10進数表現での桁和を9で割った余りが、その数を9で割った余りと一致するっていう、9の倍数判定で使う事実だね。●「法が互いに素ではないので、互いに素なものだけを使用します。■「そうか、27が3の倍数だから、27を割った余りを3で割れば、3で割った余りが得られるのか。29以下の素数について、その素数の累乗になっているもので最も大きいものを残せば大丈夫です。■「そもそも1種類しか素因数を持たないんだもんね。■「なるほど、じゃあ他の数を考慮する必要が無いのか。●「そういうことです。■「実装はこれで大丈夫かな。割った余りと両方必要になります。