\begin{equation}
\forall a \in N
\end{equation}