Эффективность проверки IBAN
Мне известен алгоритм проверки IBAN, основанный на контрольной цифре. Но есть ли способ рассчитать, каковы шансы, что контрольные цифры останутся такими же с некоторыми изменениями в IBAN. Я уверен, что математики, должно быть, сделали этот расчет и доказали бы, что шансы ничтожны. Мне интересно узнать о математических доказательствах эффективности алгоритма. В Википедии перечислены возможные ошибки, которые можно обнаружить с помощью контрольных цифр.