合同式 → 素数を法とする世界 → 既約剰余類 → 掛け算による並べ替え → 積の比較 → Fermat の小定理
入口
合同式
目標
Fermat の小定理
進捗
ルート設計中
余りの世界で数を見る
割れない法のもとで計算する
ゼロでない余りたちを集める
互いに素な数を掛けても余りの集合が保たれる
並べ替え前後の積を比べる
素数を法とすると累乗が元の数へ戻る