natural-numbers:basic-properties