[mrybczyn]

Thank you! That makes a lot more sense than several other descriptions of the proof I have read (and promptly forgotten!)