added missing lemmas and corollarys