合同
整数a及び整数bは正の整数で除算された場合合同モジュロM B、と呼ばれる、残りの数mに等しい、a≡b（MOD M）と称します。
フェルマーの小定理
pが素数であれば、任意の整数Aの、あるPの ≡a（MOD p）は
Pのない複数のために、P。1- ≡1（MODのP）。
オイラーの定理
正の整数、nは素数、次いで、もしφ（n）は、 φ（n）はオイラー関数で≡1（N-MOD）。
このアルゴリズムは、より良い競争のガイドラインのいくつかを理解しています。
閉じた金型Mに基づいて簡略乗算剰余。
拡張ユークリッド
任意の整数A、Bは、= GCD（b）でAX +を満たす整数X、Yのペアがあります。
証明のブログ：