`(y+2)x^2+1=y^2`
`<=>(y+2)x^2-(y^2-4)-3=0`
`<=>(y+2)(x^2-y+2)=3=3.1=(-3).(-1)`
\begin{array}{|c|c|c|}\hline y+2&3&1&-3&-1\\\hline x^2-y+2&1&3&-1&-3 \\\hline y& 1& -1& -5&-3\\\hline x& 0& \text{Không có} & \text{Không có}&\text{Không có} \\\hline\end{array}
Mà `x; y in ZZ =>(x;y)=(0;1)`