两个不同的数的最大公因数，一定比这两个数都小。