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