两个自然数（0除外）的积一定是这两个数的公倍数。