Prove that ℕ is not finite.