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