移項しても納得できない?
5(2-x)=9(y+1)
5と9は互いに素だから 2-x が9の倍数になるしかない