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