a\in \textbf{Z}