added details to proof of Lemma 4 of convergence proof (now labeled "lem:projection_bound"
edits to proof of Lemma 3
edits to proof of Lemma 4.  Added explanatory text.
added reference to Cohen 2003