Prove that for any two distinguishable states q_1, q_2 in an n-state
DFA that there exists a distinguishing string of length at most n.
I.e., there exists a string s of length at most n such that (q_1)s and
(q_2)s produce different observations.