see notes, sections 9.3–9.5

For anyone confused about the brief overview of a proof that Aaron showed today at the end of class, here is a more formal write-up of the idea. Note that the topic of interest starts with the paragraph beginning "Back to comparing" on page 3.