合同

定義 3.1（「合同式とフェルマーの小定理」§3）

$n \in \mathbb{N}$ とする。整数 $a, b$ に対し $n \mid (a - b)$ が成り立つとき、 $a$ と $b$ は $n$ を法として合同であるといい

a \equiv b \pmod n

と書く。 $n$ をこの合同式の法という。

閉包の状態

定義

定義は閉包の起点です（証明を要しません）。

印の意味: ✓公理まで証明済み・ △証明あり（閉包未完）・ ※主張のみ。テーマごとの集計は閉包の状況。

証明で明示的に参照している定理は、まだありません。