And that means that if I take the reduced row echelon form of A, times-- maybe I'm being a little redundant-- the reduced row echelon form of A, and I multiply that times x, or I want to solve this equation, the only solution right here is x is equal to the 0 vector.