0 ∈ N