Rename ch8_ex9 to ch8_ex9.py