• We showed that for to be a basis for , it needs to have vectors.
  • Now each of those vectors also should have components–i.e. be entries tall. Since we want to represent all the components of any vector in .
  • Constructing where . This means that each of the rows in the matrix must have a non-zero entry and hence have a pivot.
  • I.e. the matrix must have rank .