两个自然数的最大公因数一定是这两个数最小公倍数的因数。