S_2\end{align}となる。S_2)\end{align}です。|\end{align}となります。何なのかがわかれば良いことになります。}D\end{align}と定める。0.\end{align}(証明の概略)が単射であることは上で触れたのと同様に分かる。なり、両者は一致する。(2つの正の整数の積はその最小公倍数と最大公約数の積に等しい)というよく知られた事実を用いましたが、この命題はこの事実のアーベル群バージョンと見ることができると思います。互いに素なら中国剰余定理の特別な場合になっていて、中国剰余定理の仲間に位置付けられる命題でもあります。この命題を用いて「室外機問題」を解きます。