The product of two natural numbers must be a natural number

true