вот с этим проблемы
утверждается, что любая конечная порождающая система содержит базис
и в доказательстве - если система линейно зависима, убираем векторы, которые раскладываются по другим
чтобы сформировать линейно независимую
"повторяя это мы придем к линейно независимой системе, либо удалим все векторы и получим пустое множество"
Ну если это произойдет, и мы окажемся с пустым множеством
это же получается что неверно утверждение