147
правок
Изменения
→Доказательство корректности
|statement=
* ''При всех <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=
