Theorem 5.7: (Uniqueness of Predecessors) n - 1 = m - 1 if and only if n = m.

Proof: By Theorem 4.10b, n = (n - 1) + 1, and m = (m - 1) + 1. The result now follows from Theorem 5.6