x_2\in\textbf{N}