An integer is divisible by 9 if the sum of its digits is divisible by 9. This rule can be applied iteratively until a single-digit number is obtained, in which case the original number is divisible by 9 if this number is 0 or 9.