P
Initializing...
The local factor at $2$ vanishes for even $n$ · Prove2Me