##### Theorem VSPM

These are the fundamental rules for working with the addition, and scalar multiplication, of matrices. We saw something very similar in the previous chapter (Theorem VSPCV). Together, these two definitions will provide our definition for the key definition, Definition VS.

##### Theorem SLEMM

Theorem SLSLC connected linear combinations with systems of equations. Theorem SLEMM connects the matrix-vector product (Definition MVP) and column vector equality (Definition CVE) with systems of equations. We'll see this one regularly.

##### Theorem EMP

This theorem is a workhorse in Section MM and will continue to make regular appearances. If you want to get better at formulating proofs, the application of this theorem can be a key step in gaining that broader understanding. While it might be hard to imagine Theorem EMP as a definition of matrix multiplication, we'll see in Exercise MR.T80 that in theory it is actually a better definition of matrix multiplication long-term.

##### Theorem CINM

The inverse of a matrix is key. Here's how you can get one if you know how to row-reduce.

##### Theorem NPNT

This theorem is a fundamental tool for proving subsequent important theorems, such as Theorem NI. It may also be the best explantion for the term “nonsingular.”

##### Theorem NI

“Nonsingularity” or “invertibility”? Pick your favorite, or show your versatility by using one or the other in the right context. They mean the same thing.

##### Theorem CSCS

Given a coefficient matrix, which vectors of constants create consistent systems. This theorem tells us that the answer is exactly those column vectors in the column space. Conversely, we also use this teorem to test for membership in the column space by checking the consistency of the appropriate system of equations.

##### Theorem BCS

Another theorem that provides a linearly independent set of vectors whose span equals some set of interest (a column space this time).

##### Theorem BRS

Yet another theorem that provides a linearly independent set of vectors whose span equals some set of interest (a row space).

##### Theorem CSRST

Column spaces, row spaces, transposes, rows, columns. Many of the connections between these objects are based on the simple observation captured in this theorem. This is not a deep result. We state it as a theorem for convenience, so we can refer to it as needed.

##### Theorem FS

This theorem is inherently interesting, if not computationally satisfying. Null space, row space, column space, left null space — here they all are, simply by row reducing the extended matrix and applying Theorem BNS and Theorem BCS twice (each). Nice.