Figure 1.2 Division algorithm
correct for x >= 0
exercise: find negative x that returns the wrong value
Section 1.2.4 Lemma. If d divides both a and b . . .
add: “and d is positive”
exercise: find negative d for which lemma does not hold