assume there is some other natural number, b' such that n = m + b'. then we have m + b = m + b'. subtracting m from both sides, we get b = b'. so our other element was in fact, b. thus we have uniqueness.