Bây giờ giả dụ ta có phương trình [tex](a-2)(a+2)=y^2\Rightarrow a^2-y^2=4\Rightarrow (a-y)(a+y)=4[/tex]
Bởi vì a không âm, y không âm nên [tex]a+y\geq 0\Rightarrow a+y\in \left \{ 1;2;4 \right \}[/tex]
Còn nếu ta không cho y không âm thì ta phải xét [TEX]a+y\in \left \{ 1;2;4;-1;-2;-4 \right \}[/TEX] sẽ nhiều hơn, mà lại có 2 cặp trường hợp trùng nhau nên sẽ mất thời gian.