Rewrite proof of Lemma 6

Still in progress, but the notation agrees with the rest of the paper.