Rename collatz theorem to collatz theorem.py