Sea $p$ un número primo. Muestra que existe un primo $q$ tal que para todo entero $n$, el número $n^p-p$ no es múltiplo de $q$.