定理番号割り切れる
|分割bのB代表、すなわち、BがA == 0％Bの倍数であります
合同定理は、
二つの整数と満たす（AB）BはMによって割り切れることができれば、正の整数mが与えられると
、次に、すなわち整数を取得する（AB）/ Mの整数とが合同モジュロM bは、前記
Aで表されます≡b（MOD M）
Mのa≡0（MOD M）場合|
場合a≡b（MOD m）は、と等価であり、bはMによって除去され、残りの部分に等しいです。
合同自然
- 再帰：a≡a（MOD M）
- 対称性：a≡b（MOD M）、b≡a（MOD M）の場合
- 推移：a≡b（MOD m）であれば、b≡c（MOD M）、a≡c（MOD M）
- 合同加減算：a≡b（MOD M）の場合、b≡c（MOD M）、A±c≡b±D（MOD M）
- 乗算合同：a≡b（MOD M）、b≡c（MOD M）、ac≡bd（MOD M）の場合
- 分割：GCD（C、M）は最大公約数cを示しAC≡BC（MOD M）C≠0、次いでa≡B（MOD M / GCD（C、M））、Mの。特別に、GCD（C、M）= 1、次いで≡B（MOD M）
- べき乗：^その後、≡B（MOD m）であれば、N≡B ^ N（MOD M）
- もし≡B（MOD M）、N個の| M、その後≡B（mod n）を計算します
- ≡B（MOD MI）は（iは1,2 = ... N）≡B（modは[M1、M2、... MN]）[M1、M2、... MN]のM1、M2、...、MNの最小値を表している場合公倍数
