x_1\in\textbf{N}