Em uma aula sobre raciocínio lógico, um professor propôs aos estudantes que analisassem a seguinte afirmação: “Se o produto de dois números naturais é par, então pelo menos um desses números é par.” Um estudante calculou os produtos 2 × 3, 4 × 5, 6 × 7 e 8 × 9. Como todos os resultados eram pares e, em cada multiplicação, havia um fator par, concluiu que a afirmação estava demonstrada. Considerando o objetivo de levar o estudante, a partir da estratégia apresentada, a superar a verificação de casos particulares e construir uma demonstração válida para quaisquer dois números naturais, assinale a opção que indica a intervenção mais adequada a ser adotada pelo professor.