(H)PKI の数学的基礎、フェルマーの小定理（Fermat’s little thorem）。
証明は、以下のように数学的帰納法を用いるのがわかりやすい。
ところで「私も昔は数学科でブイブイ言わせていて・・・」とイキっている数学畑出身の医師でこういうところに目配せできている人はほぼいない。
で、こんなポストをしたんだが、案の定、逆張りくん発生。
めんどくさいからブロックした。
確かに実務的に使うだけなら、証明に関する知識までは不要なんだが、
ライブラリ(OpenSSL など)の改変が必要
というような場合、そもそも証明のロジック程度は頭にないとソースコード読めんよ。