147
правок
Изменения
→Доказательство корректности
|proof=
Если лексикографически отсортировать буквы последнего столбца и поместить их в первый столбец, то получится таблица
<tex>
B_{\sigma(0)} * * \cdots B_{0}\newline
B_{\sigma(1)} * * \cdots B_{1}\newline
\vdots&\ddots
</tex>
