Trước hết, từ q∣C3pqpq suy ra q≤3p. Thật vậy, nếu q>3p thì 3pq<q2, nên theo công thức Legendre,
vq(C3pqpq)=⌊q3pq⌋−⌊qpq⌋−⌊q2pq⌋=3p−p−2p=0,
trái với giả thiết. Ta có pp2+(p+2)p2≡0(modq). Trường hợp q=p+2 là không thể, vì khi đó vế trái đồng dư với pp2≡0(modq). Vì vậy q>p+2 nên gcd(q,p+2)=1.
Vì gcd(p,q)=1 nên tồn tại p−1∈Z sao cho p⋅p−1≡1(modq), đặt a=(p+2)p−1 thì gcd(a,q)=1. Khi đó ap2≡−1(modq), nên a2p2≡1(modq) nhưng ap2≡1(modq). Đặt d=ordqa thì ta có d∣2p2, d∤p2, do đó d∈{2,2p,2p2}. Mặt khác d∣q−1 và q≤3p, nên d<3p. Vì p≥3, suy ra d=2p2.
Nếu d=2 thì a≡−1(modq), nên p+2≡−p(modq), tức q∣2(p+1), vô lý vì q>p lẻ.
Vậy d=2p nên 2p∣q−1. Kết hợp p<q≤3p ta được q−1=2p, hay
q=2p+1.
Để ý với m nguyên dương thì vp((mp)!)=m+vp(m!) nên
vp(C3pqpq)=vp(C3qq)=vp(C6p+32p+1).
Nếu p≥7 thì 6p+3<p2, do đó
vp(C6p+32p+1)=⌊p6p+3⌋−⌊p2p+1⌋−⌊p4p+2⌋=6−2−4=0,
nên vp(C3pqpq)=0, trái với giả thiết. Vậy p∈{3,5}. Thử lại để thấy (p,q)=(5,11) là nghiệm duy nhất thoả mãn.