x_0\neq r