两个数的公因数的个数总是有限的?