The difference of two natural numbers is a natural number?