Một cách tổng quát hơn ta sẽ chứng minh phương trình: x4+y4=z2 (*) không có nghiệm nguyên khác 0.
Vì số mũ của các biến là số chẵn nên ta chỉ cần xét bài toán trên tập số nguyên dương.
Giả sử phương trình (*) có nghiệm thì trong số các bộ nghiệm ta xét bộ nghiệm có z nhỏ nhất. Theo như ví dụ 12 thì phải tồn tại p,q∈N để:

Ta lại được: y2+p2=q2 và lại theo phương trình pytago ta nhận thấy tồn tại u,v∈N,(u,v)=1 thỏa mãn:

Do đó suy ra: 
Mà ta có
nên u,v,u2+v2 đều là các số chính phương. Đặt u=a2,v=b2,u2+v2=c2 thì ta đƣợc: c2=a4+b4. Phương trình này có dạng như ban đầu và rõ ràng c<z, điều này vô lí với cách chọn z . Do đó phương trình (*) không có nghiệm nguyên.