Pour tout n de N, Q(n) est fausse.

Il s'agit de montrer que, pour tout n dans N, 9ⁿ+1 n'est pas divisible par 8.

On a démontré que, pour tout n de N,  9ⁿ-1 est divisible par 8,
donc  9ⁿ=8k+1 avec k entier et  9ⁿ+1=8k+2 .
Or 8k+2 n'est pas divisible par  8, donc  9ⁿ+1=8k+2 n'est pas divisible par 8.