Vì x^2+1 chia hết xy+1 nên y^2(x^2+1) chia hết xy+1
hay x^2y^2 +y^2 chia hết xy+1.
Ta có x^2y^2+y^2=(x^2y^2 +2xy+1) +y^2 -2xy-1 Thêm và bớt 2xy+1
=(x^2y^2 +2xy+1) -2(xy+1) +y^2+1
=(xy+1)^2 -2(xy+1) +y^2+1 suy ra y^2+1 chia hết xy+1
Vì x^2+1 chia hết xy+1 nên y^2(x^2+1) chia hết xy+1
Hay x^2y^2 +y^2 chia hết xy+1.
Ta có x^2y^2+y^2=(x^2y^2 +2xy+1) +y^2 -2xy-1 Thêm và bớt 2xy+1
=(x^2y^2 +2xy+1) -2(xy+1) +y^2+1
=(xy+1)^2 -2(xy+1) +y^2+1 suy ra y^2+1 Chia hết xy+1