3622
правки
Изменения
→Существование и единственность: утверждение в лемме
* <tex>|u| = |t| \Rightarrow u = t \Rightarrow u > s + t</tex> по пункту <tex> 1 </tex>.
* <tex>|u| < |t| \Rightarrow u</tex> {{---}} суффикс <tex>t</tex>. Так как <tex>t</tex> {{---}} простая, и <tex>t < u </tex> по определению <tex> \Rightarrow s + t < t < u</tex>
* <tex>|u| > |t| \Rightarrow s = s' + s''</tex>, <tex>u = s'' + t</tex>. Так как <tex>s</tex> {{---}} простая, то её суффикс <tex>s < s''</tex> и меньше самой строки <tex>|s''| < |s| \Rightarrow /tex> в каком символе, значит, <tex> s + t < s'' + t</tex>
}}
