P
Initializing...
Giuga's criterion for the congruence $\sum_{i<n} i^{n-1} \equiv -1 \pmod n$ · Prove2Me