ал [x0, y0] – ең кіші шешімі.
Дәлелдеу
Кері жориық, (9) теңдеудің оң бүтін сандар арасында [x/ , y/], шешімі болсын,
теңдігі ешқандай бүтін оң n саны үшін орындалмасын. Мына сандар қатарын қарастырайық:
(иррационал) болғанда [±xn, ± yn] түрінде жазылады, мұндағы
(17)
(18)