added some proofs

everything in MiscLemmas proven!