如果兩個數的乘積正好是這兩個數的最小公倍數，那麼這兩個數一定是互質的（即它們沒有除1以外的公因數）。

這個結論可以通過最小公倍數的定義來證明。最小公倍數是指能夠同時整除給定的兩個數的最小正整數。設這兩個數分別為a和b，它們的最小公倍數為c，它們的最大公約數為d，則有：

a = dx

b = dy

其中x和y互質。由於a和b的乘積等於ab，而ab恰好可以表示為：

ab = dxdyxy

因此，ab是a和b的公倍數，而dxy是a和b的最大公約數的倍數，因此dxy是a和b的最小公倍數c的倍數。由於x和y互質，因此d和xy也互質，所以dxy是c的唯一分解式中的唯一一組互質的因數。因此，c = dxy，即a和b的最小公倍數等於它們的最大公約數d與它們的積的商，即c = ab / d。由於c等於ab，因此d等於1，即a和b的最大公約數為1，也就是它們互質。