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

) и рассматриваем любые его

независимых линейных комбинаций. Т.е., попросту говоря: составляем матрицу из соответствующих

столбцов и умножаем её
справа на произвольную невырожденную матрицу размера

. В результате получим некий альтернативный базис; а совокупность того, что можно получить таким способом -- это и есть множество всех базисов.