Es cierto que si $p\neq5$ es un número primo, a continuación,$1^p+2^{p-1}+\cdots+(p-1)^2+p^1\not\equiv0\pmod p$?
Si $p=5$$1^5+2^4+3^3+4^2+5^1\equiv0\pmod 5,$, pero no hay tal prime $p\leq40000$ más, puedes probarlo o dar un contraejemplo?
PS: Si $p>5$ podría ser un número compuesto, a continuación, $p\in \{16,208,688,784,2864,9555\cdots\}$ también funciona.