Question

^^

マーカーを引いた箇所がどうしてそうなるのか分かりません。
教えてください🙇🏻‍♀️

6
方程式 xy=4x-y+7 を満たす自然数x、yの組 (x, y) をすべて求めよ。
方程式より
xy-4x+y-7=0
よって
x(y-4)+(y-4)-3=0
ゆえに (x+1)(y-4)=3
x, yは自然数であるから
x+1≧2, y-4≥-3
よって (x+1, y-4)=(3,1)
ゆえに
(x,y)=(2,5)