We have: , first we need to prove that : Set , hence each column vector of is a linear combination of column vectors of , so .
Here is an by matrix while is an by matrix and column vectors of must be linearly indepedent (so ), hence .
- If then it’s trivial to show that is singular.
- If then .
So the statement follows.