Added a statement of Theorem 1 at the beginning of Part 1, to help me stay on course.