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