Como vimos anteriormente, el sistema es compatible si y sólo si en su forma escalonada reducida por filas no aparece una ecuación del tipo b = 0, o equivalentemente, si rg(A) = rg(A|B).