Using Myhill-Nerode to prove that language is not regular