n=0 \notin \mathbb{N}