>>866の訂正：
環Z → 環R
素数 → 素元
(pの)倍数 → (pの)倍元
>ペアノの公理は0から p-1 までの整数に対して適用する。
は、削除