Next, assume that for some "n"="n0" the statement is true. That is,:
n ɛ k s t WORD_BOUNDARY ʌ s uː m WORD_BOUNDARY ð æ t WORD_BOUNDARY f ɔ ɹ WORD_BOUNDARY s ʌ m WORD_BOUNDARY ɛ n WORD_BOUNDARY iː k w ə l z WORD_BOUNDARY ɛ n WORD_BOUNDARY z iə ɹ oʊ WORD_BOUNDARY ð ə WORD_BOUNDARY s t eɪ t m ə n t WORD_BOUNDARY ɪ z WORD_BOUNDARY t ɹ uː WORD_BOUNDARY ð æ t WORD_BOUNDARY ɪ z WORD_BOUNDARY