Giả sử a,b>3
Nếu a≡1 (mod 3), b≡1 (mod 3) ⇒a3−b5≡0 (mod 3), (a+b)2≡1 (mod 3), loại.
Nếu a≡1 (mod 3), b≡2 (mod 3) ⇒a3−b5≡2 (mod 3), (a+b)2≡0 (mod 3), loại.
Nếu a≡2 (mod 3), b≡1 (mod 3) ⇒a3−b5≡1 (mod 3), (a+b)2≡0 (mod 3), loại.
Nếu a≡2 (mod 3), b≡2 (mod 3) ⇒a3−b5≡0 (mod 3), (a+b)2≡1 (mod 3), loại.
Suy ra không tồn tại các số nguyên tố a,b>3 thỏa mãn.
Nếu a=3⇒b5<27, vô lý.
Nếu b=3⇒a3−243=(a+3)2⇔a=7.
Vậy (a,b)=(7,3).