判断:两个数的公因数一定比这两个数都小