两个互素的数同时整除同一个整数,证明这两个数的乘积也整除这个数