设两个point坐标x之差是$dirtax$, y之差是$dirtay$

且这两个点是整点

求证：

两个point的连线上的整点有__gcd(dirtax, dirtay)+1个