O International Standard Book Number-13 (ISBN-13) é um sistema numérico composto por 13 dígitos utilizado para identificar livros. O 13º dígito do ISBN-13 de um livro (dígito mais à direita) é chamado dígito de verificação e, para determiná-lo, multiplicamos cada um dos doze dígitos anteriores, da esquerda para a direita, por 1 e 3, alternadamente. A soma desses doze produtos, acrescida do dígito de verificação, tem que ser o menor número não negativo que deixa resto zero na divisão por 10. Por exemplo, o ISBN-13 do livro A Riqueza das Nações, de Adam Smith, sem o dígito de verificação, é 978852093907. O dígito de verificação do ISBN-13 desse livro é igual a