And so we get the length of the vector x squared is equal to the length of our member of our row space squared, our unique member of our row space squared, plus that member of our null space squared. 