Ashebit Lemma