Arithmetic of natural numbers
