Finish anderson-schori first lemma proof