Theorem
Let
- : Invertible matrix
- : Any matrix
Then the linear system has exactly one solution, namely,
Proof
Let
- : Invertible matrix
- : Any matrix
Since , by definition of solution of linear system, it follows that is a solution of .
Let be any solution of . Then . Further,
We have shown that if is an arbitrary solution of , then . Therefore, is the only solution of .