n \in \mathbf{N}