cleaned up proof Lemma 3.2 to make clear that this is not a proof by
contradiction.