Item1.2.5.4.c

First, we know there are solutions so no row can have its leading entry in the rightmost column of the augmented matrix. Second, there must be a free variable to have infinitely many solutions. Therefore, there must be at least one column that corresponds to a variable that does not contain the leading entry of a row.

in-context