Rename Ex9.rkt to 9.rkt