ISBN-10 is Error-Correcting Code

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