147
правок
Изменения
→Доказательство корректности
''При всех <tex>m = 1, ..., N + 1</tex> верны утверждения,
<tex>B_{\sigma_{i}}...B_{\sigma^{m}_{i}} \preceq B_{\sigma_{i + 1}}...B_{\sigma^{m}_{i + 1}}</tex>, при <tex>i = 0, ..., N - 1\ \ \textbf{(4)}</tex>''
|proof=
