Theorem PSSLS Possible Solution Sets for Linear Systems

A system of linear equations has no solutions, a unique solution or infinitely many solutions.

Proof
(in context)