Um número natural é primo se é diferente de 1 e possui exatamente dois divisores, que são o 1 e o próprio número. Afirma-se que “se n é um número natural primo menor do que 12, então n² + 2 é natural primo”.

O total de contraexemplos possíveis para a implicação da afirmação é igual a