Great introduction for anyone (such as myself) who found themselves quickly lost in most of the other posted discussions. Not only do you get a general idea of the proof, you feel better equipped to look back over those higher-level discussions.