Update _counting_ex9.md