Rename ex9.py to ex09.py