Evet, olabilir.
kolaylıkla $p=2$ için çözüm geldiğini görebiliriz. Denklemlerin düzenlersek, $x,y\equiv p-1 \pmod p$ elde ederiz. ana denklemde $x,y=p-1$ yazalım. $(p-1)((p-1)^{(p-2)}+1)=p^k,k\in\mathbb{Z}$ olmalı fakat $p>2$ için $p-1$ ile $p$ aralarında asal olacak ve bölünmeyecek o halde tek çözüm $p=2$ dir. Eksik yaptığım bir yer varsa düzeltin teşekkürler.