n_1 \in \mathds{N}