A Proof of Theorem 2 Lemma 1 (McDiarmid)