Rename 1.PiToNthDigit.txt to Pi.py