> n を自然数とするとき
> n^7 - n ≡ 0 (mod 7)

その三本線なんだよ

参考：2022/09/27(火)13時00分49秒