Are natural numbers closed under addition