§ $1^n + 2^n + \dots + (n-1)^n$ is divisible by $n$ for odd $n$