How do you prove that a given mathematical result is unique? Assume that more than one solution exists and then see if there is a contradiction. Use this technique to prove several theorems, including the important division algorithm from arithmetic.