07-16-01: I'm on page 3.
07-19-01: Page 4, the theorem