P
Initializing...
The conjecture at $n = 4$ · Prove2Me