a|b ==》 存在整数 s, 使得 b=as。
a|c ==》 存在整数 t, 使得 c=at。
于是， 对任意的整数x, y,有bx+cy = asx+aty=a(sx+ty) ==> a|bx+cy。
a|b ==》 存在整数 s, 使得 b=as,a|c ==》 存在整数 t, 使得 c=at,于是， 对任意的整数x, y,有 bx+cy = asx+aty=a(sx+ty) ==> a|bx+cy
