Better proof of Lemma - value