Изменения
→Существование и единственность
удовлетворяющих условию теоремы.
Сравним длины первых двух слов <tex>s_1</tex> и <tex>s_1'</tex>, если <tex>|s_1| = |s_1'|</tex>, сравним вторые и так далее.
Если у длины всех слов длины одинаковы, то разбиения совпадают {{---}} противоречие.
Иначе <tex>\exists s_i : |s_i| \neq |s_i'|</tex>.
