Multiplique os 9 dígitos pelos pesos 3, 7, 1, 3, 7, 1, 3, 7, 1 e some: o número é válido quando o total é múltiplo de 10. Para achar o nono dígito, some só os 8 primeiros produtos e use 10 menos o resto da divisão por 10 (0 se o resto for 0). Em 111000025 os 8 primeiros produtos somam 3+7+1+0+0+0+0+14 = 25, faltam 5 para 30, e o nono dígito é 5.