合同式 → 互いに素 → 既約剰余類群 → Euler 関数 → Lagrange の定理 → Euler の定理
入口
合同式
目標
Euler の定理
進捗
ルート設計中
余りの世界で計算する
法とぶつからない数を選ぶ
掛け算で閉じる余りの群を見る
法と互いに素な余りの個数を数える
元の位数が群の位数を割ることを使う
互いに素な数の累乗が法の世界で戻る