两个数的公因数的个数是有限的。