P
Initializing...
No nontrivial Syracuse cycle of length $3$ · Prove2Me