Почему так получается? Потому что если от какого-либо числа отнять сумму его цифр, то должно остаться число, делящееся на 9, - иначе говоря, такое, сумма цифр которого делится на 9.