设a,b是整数且不全为0,而a=da1,b=db1,d,a1,b1∈Z,证:d是a与b的一个最大公因数当且仅当(a1,b