n_0\in N