判断用isDivisibleBy9(n) == isDigitSumDivisibleBy9(n)代码能否验算「若一个数能被9整除则其各位数字之和能被9整除」的结论

给定的两个函数实现如下：

def isDivisibleBy9(n):
    return n % 9 == 0

def isDigitSumDivisibleBy9(n):
    num_str = str(n)
    digit_sum = 0
    for c in num_str:
        digit_sum += int(c)
    return digit_sum % 9 == 0