Theorem SNCM Solution with Nonsingular Coefficient Matrix

Suppose that $A$ is nonsingular. Then the unique solution to $\linearsystem{A}{\vect{b}}$ is $\inverse{A}\vect{b}$.

Proof
(in context)