235 chương luận bàn
Tại đã phát biểu luận văn bên trong, Thẩm Kỳ sử dụng PLAN-A, hoàn thành Walsh phỏng đoán chứng minh.
Giả thiết (X, Y) là vuông trình (t+1)X^4-tY^2=1 một cái giải, thỏa mãn Y>1, (x, y) vì đối ứng nương theo giải, N= √x^2+y^2t, thì đối với cái nào đó thỏa mãn t0∣t cùng t0^2t số tự nhiên t0, có P(x, y)=t0^2.
Đây là chứng minh Walsh phỏng đoán hạch tâm trình tự, định nghĩa r0 vì thỏa mãn (e^ 2.37ε2 ╱ 8)^1-r0∣fq∣(e^ 2.37ε2 ╱ 8)^-r0 số tự nhiên, Thẩm Kỳ tại luận văn bên trong sử dụng PLAN-A.
Tại PLAN-A bên trong, Thẩm Kỳ lệnh r0=1, ±B1qA1p cùng 2∣fq∣(e^ 2.37ε2 ╱ 8)Y1>1 thỏa mãn ∣± √-1(xi-yi √-t) ╱ (xi+yi √-t)-X^1 ╱ 4∣