For the courageous souls

who read the VC proof in the Appendix carefully, please use this subforum to post any questions or comments.
In particular, we will appreciate any comments that help us and other instructors decide whether to include the formal proof in our classroom presentations, or settle for the sketch of the proof that is given in Chapter 2.