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