两个自然数分别除以他们的最小公因数,商是互质数.