2022/09/27 (火) 13:00:49
◆
▼
◇
[misao]
n を自然数とするとき n^7 - n ≡ 0 (mod 7)