O Teorema de Wilson envolve três conceitos importantíssimos: congruência, fatorial e números primos. Apesar de receber o nome de Wilson, esse teore...

O Teorema de Wilson afirma que um número inteiro positivo p é primo se e somente se (p-1)! é congruente a -1 (mod p). No caso da questão, temos que p=17 é um número primo. Então, pelo Teorema de Wilson, temos que (16!) é congruente a -1 (mod 17). Podemos reescrever isso como (16!) é congruente a 16 (mod 17), já que -1 é equivalente a 16 (mod 17). Assim, o resto da divisão de 16! por 17 é 16. Portanto, a alternativa correta é a letra a) 16.