So if I were take the square of any solution to this equation right here, well, that's going to be the same thing as x dot x, which is the same thing as this thing dot itself, same thing as r0 plus n0 dot r0 plus n0. 