ab均为整数且互质,求证存在整数x.y使得ax+by=1