两个互质数的积能被某数整除的特征?