Analise as afirmações abaixo feitas por cinco alunos.

\( \bullet \) Aluno 1: Números naturais diferentes podem ter sucessores iguais.

\( \bullet \) Aluno 2: A diferença entre dois números naturais é sempre um número natural.

\( \bullet \) Aluno 3: O produto de dois números inteiros é sempre um número inteiro.

\( \bullet \) Aluno 4: Existe um número natural que é menor do que todos os outros números naturais.

\( \bullet \) Aluno 5: Todo número inteiro tem um único antecessor.

Assinale a alternativa que apresenta, apenas, os alunos que fizeram afirmações verdadeiras.