Added some lemmas and proofs