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