Lecture 39: GS Decoder Wrap-up 1 Proof of key lemmas