That being said, the section containing the proof is starred if I remember. I imagine most people, even those reading CLRS, skip over it.