m,n是不全为零的整数，x，y∈Z，d是m,n的最大公约数（即d=gcd（m,n)），另有两个集合A,B，其中：
A={mx+ny | x,y∈Z}，B={kd | k∈Z}
证明:A=B