[math-fun] Collatz proof?