Added one unimportant lemma.

Everything in Misclemmas is proven.