Item1.2.5.5.a

This is true provided that there is some solution to the linear system. We have to avoid the situation when there are infinitely variables, and this happens only when there is a free variable.

in-context