如何证明对于点(a,b) (x,y)连成的线段而言(其中a>x,b>y)， 在它们中间有gcd(a-x,b-x)-1个整点