b is exactly divisible by a}.