Any given number is divisible by 9 when sum of all its digits are exactly divisible by 9, i.e it does not leaves a remainder.