If the columns v1,…,vm of an n by m matrix are independent, some m by m row minor is nonzero. A nonzero term of that minor's determinant selects distinct nonzero coordinates f(i), and replacing the corresponding standard basis vectors ef(i) by the vi leaves a basis.