A proof that an equation containing a matrix with more columns than rows will have a non trivial (non zero) solution.
No download links available.
