Ecency
Lemma