O produto de dois números naturais é um número natural?