两个数的最小公倍数一定能被两个数的最大公因数整除