倍数になるので、直感的になんとなく分かってもらえるのではないかと思います。ここで、この定理の式を少し書き換えて見ます。割ったあまりを取ります。解を持つということになります。いう結論が得られます。互いに素な場合にのみ乗法に関する逆元を持ちます。すべての元が乗法に関する逆元を持つことになります。素数)は体をなします。field)と呼びます。乗算結果の表を示します。加算および乗算は以下のようになります。1情報系の方ならこの表に見覚えがあるんじゃないでしょうか。