Ta có: x+y=x.y =>x+y-xy=0(chuyển vế) =>x+y-xy-1=-1(trừ cả hai vế cho 1) =>(x-xy)+(y-1)=-1(nhóm các số hạng) =>x.(1-y)-(1-y)=-1(khi đổi chỗ 1 và y cho nhau thì trước đó phải đổi dấu) =>(1-y).(x-1)=-1(phân phối) =>1-y và x-1 thuộc ước của -1={-1;1} Khi 1-y=-1 và x-1=1
