Collatz theorem