P
Initializing...
The Gauss sum of the trivial character equals $-1$ · Prove2Me