P
Initializing...
Syracuse descent implies Collatz descent · Prove2Me