>>165
フェルマーの小定理を、1≦a≦p-1に限定したもので、明らかにフェルマーの小定理のより狭い


フェルマーの小定理
pが素数、aがpと素な整数ならば、a^(p-1)≡1 mod p
⇒a^(m+n(p-1))≡a^m*(a^(p-1))^n≡a^m*1^n≡a^m mod p
となり、p-1を周期として巡回する
これには
> aを2以上p以下の自然数
の条件は不要

フェルマーの小定理の拡張ならオイラーの定理とか？