P
Initializing...
The diagonal equation as $m + n$ plus a double Jacobi sum · Prove2Me