x\in \textbf{Z}