Теорема о равномощности базисов векторного пространства

для любых двух базисов существует биекция, действующая из одного базиса в другой (ссылка на критерии существования биекции)