Chapter 0, Problem 45E

Show that a substitution of a digit $a_i^{\text{'}}$ for the digit $a_i(a_i^{\text{'}}\ne a_i)$ in a noncheck position of a UPS number is detected if and only if $|a_i-a_i^{\text{'}}|\ne 7$ .