整环中的两个元素如果有最小公倍元，那么一定有最大公因子