3622
правки
Изменения
м
→Существование и единственность: исправлен небольшой баг в доказательстве
* <tex>t < s_{j+1}'</tex> (<tex>t</tex> {{---}} префикс <tex>s_{j+1}'</tex>)
* <tex>s_{j+1}' \leqslant s_i'</tex> (по условию разбиения)
* <tex>s_i' < s_i</tex> (их начало совпадает, и <tex>|s_i'| < |s_i'|</tex> по предположению)
Пришли к противоречию: <tex>s_i < s_i</tex>.
