Соңғы теңсіздікті x2 - 2y2 = 1 (6) теңдеуін шешу үшін қолданайық. Теңдеудің сол жағын көбейткіштерге жіктейік:
< 
.