added discussion of how to improve on Lemma 3