P
Initializing...
No nontrivial Syracuse cycle contains an element $\le 33$ · Prove2Me