Let m, n e N. If n >= m, then there is a unique b e N such that n = m + b.
How do I prove that b is unique.
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.