Doğan Dönmez hocamın uyarısına hak veriyorum. Tek çözüm çiftinin olduğu gösterilmesi istenildiği için, "farklı" sözcüğü ile $x\neq y$ olmakla beraber $(x,y)$ ikilisi ile $(y,x)$ ikilisinin de aynı olarak alınması istenmiş olmalı diye düşündüm. Açıkça, simetriden dolayı $(x,y) = (p^2 + p, p+1)$ ikilisi de bir başka çözüm olacaktır. Bu nedenlerden dolayı, çözüme başlarken "denklemin $x<y$ koşulu altındaki çözümleri isteniyor" cümlesini ekleme gereği duydum.