P
Initializing...
The local geometric sum sigma(t^(2e)) is 1 mod 3 when t is not 1 mod 3 · Prove2Me