ISBN-10 is Error-Correcting Code

Theorem
ISBN-$10$ is an error-correcting code in the following sense: