Граница Грайсмера над произвольным полем

[error420]

Если $C$ - линейный $(n, k, d)_q$ код, то
$n\geqslant\sum\limits_{i=0}^{k-1}\left\lceil \frac{d}{q^{i}} \right\rceil$

Для случая q=2 все очевидно. Можно посмотреть здесь http://ov7a.narod.ru/botva8/atk/lect08.pdf

При q>2. Получилось снова доказать, что $ \operatorname{rk} G' = k-1$. Дальше делаем все аналогично док-ву для q=2. Но когда
$(a|b) + (0...0|q_1,q_2,...,q_d)$ неизвестно какой вес получится, напрашивается перебор сложения с умножения на элементы поля, но не могу понять как это сделать.