System consistent if no row of form [0⋯0∣c][0 \cdots 0 | c][0⋯0∣c] with c≠0c \neq 0c=0 in augmented matrix.
