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