两个不同数的最大公因数一定小于他们的最小公倍数