completed Proposition 3.3, added some helper lemmas/files
added needed files