The trace embedding lemma