Vamos analisar cada uma das asserções com base no Pequeno Teorema de Fermat, que afirma que se é um número primo e é um inteiro que não é divisível por , então:
Neste problema, vamos aplicar o teorema para e .
Asserção I: O resto da divisão de por 5 é 1.
Vamos aplicar o Pequeno Teorema de Fermat:
Para e , temos:
Se , então ( (4^4)^5 \equiv 1^5 \equiv 1 \pmod{5} ). Note que , logo . Portanto, a asserção I é verdadeira.
Asserção II: Pelo Pequeno Teorema de Fermat, é congruente a .
Aqui, a explicação está incorreta. Pelo teorema, não estamos comparando a , mas sim a congruência ((4^4)^5 \equiv 1^5 \equiv 1 \pmod{5}). Na verdade, estamos usando uma sequência de potências de 4 e utilizando a repetição com base no teorema.
Portanto, a assertiva II tem a ideia correta, mas a explicação fornecida não é uma justificativa adequada para I.
Essa é a alternativa correta porque a justificativa fornecida na II está incorreta, mesmo que o resultado final esteja correto.
Portanto, a alternativa correta é a Alternativa 1.