state the cases we care about before the technical lemmas

Also added a missing subscript 0 to a \Gamma in Lemma 12.