この前話題に上がったので, 初等的証明を書いておきます. はてなブログで数式を扱う練習も兼ねて. 以下では は素数とします. フェルマーの小定理より というのが が の倍数でなければ成り立つわけですが, ここで となるような最小の正の整数 を の mod にお…