Замечание о весовой структуре порождающих матриц линейных кодов

Доказывается, что для любого линейного $q$-ичного $[n,k,d]$-кода, для которого $n=t+g_q(k,d)$, где $g_q(k,d)=\sum\limits_{j=0}^{k-1}\biggl\lceil\dfrac d{q^j}\biggr\rceil$ – функция Грайсмера, можно выбрать порождающую матрицу из кодовых векторов веса, не превышающего $d+t$