preservation with admitted lemma