rewrote proposition 2 up to the start of lemma 3