từ giả thiết dễ thấy p>q>=2
ta có q(q-1)(q+1) chia hết cho q, mà 0<q-1<q<p và p nguyên tố nên q và p-1 không thể chia hết cho p
từ đó, ta có q+1 chia hết cho p
lại có 0<q+1<2q<2p nên q+1=p
nếu q lẻ thì p=q+1 chẵn và p>2 nên p là hợp số, mâu thuẫn
do đó q=2 từ đó ta có p=3 thử lại thấy thỏa mãn
vậy có một cặp số nguyên tối (p;q) thỏa mãn yêu cầu(3;2)