честно, не помню теорему о базисном миноре (и даже, скорее всего, никогда о ней и не слыхал). А насчёт всех базисов -- процедура тривиальна. Берём любой базис (пусть к-во его элементов равно
) и рассматриваем любые его
независимых линейных комбинаций. Т.е., попросту говоря: составляем матрицу из соответствующих
столбцов и умножаем её
справа на произвольную невырожденную матрицу размера
. В результате получим некий альтернативный базис; а совокупность того, что можно получить таким способом -- это и есть множество всех базисов.