两个数的积一定是它们的公倍数的理由是什么