证明：如果 c 能整除 ab 且 ab 互素，则 c 能整除 b

假设 c 能整除 ab，但是 c 不能整除 b，那么我们可以将 b 表示为 c 的倍数和一个余数，即 b = ck + r，其中 k 为整数，r 为余数，且 0 < r < c。

因为 ab 互素，所以 a 和 b 的公因数只有 1，因此 a 和 c 的公因数也只有 1。由于 c 能整除 ab，所以 c 能整除 a 或者 c 能整除 b。

如果 c 能整除 a，那么 a = cm，其中 m 为整数。将 a 代入 ab = ckr 中得到 cm * b = ckr，即 m * b = kr。因为 c 能整除 kr，所以 c 能整除 m * b。但是 a 和 c 的公因数只有 1，所以 c 不能整除 a。因此，c 必须能整除 b。

因此，如果 c 能整除 ab，并且 ab 互素，那么 c 可以整除 b。