О минимальном числе образующих структуры подпространств конечномерного линейного пространства

Доказано, что минимальная порождающая система структуры всех подпространств конечномерного векторного пространства над конечным полем из $q$ элементов состоит не более чем из $\max(q+3,8)$ элементов. Эта оценка не зависит от размерности пространства.