admit Lemma trans