y_0\in I