map-inj-lemma