两个非零且不相等的自然数,它们的最小公倍数一定是它们最大公因数的( )