A linear system with no solutions is called **inconsistent**.

We can detect an inconsistent linear system, since whenever we apply
[[EROs]] to put the augmented matrix into [[REF]], we will get a row
of the form $[0~0~0~\dots~0~*]$ where $*$ is non-zero.