When ac is divisible by a number b that is relatively prime to a, then c must be divisible by b.