Unsuccessful easier proof of Lemma (same value)