简单的数论命题证明:若a.b的最大公约数为d,则存在x.y使得ax+by=d