Considere a seguinte afirmação matemática:

"Se um número inteiro é divisível por 4, então ele é par."

Com base nos conceitos de condição necessária e condição suficiente, assinale a alternativa CORRETA.