Theorem SLEMM Systems of Linear Equations as Matrix Multiplication

The set of solutions to the linear system $\linearsystem{A}{\vect{b}}$ equals the set of solutions for $\vect{x}$ in the vector equation $A\vect{x}=\vect{b}$.

Proof
(in context)