- 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 .