Fix proof of Lemma:epsilon