isolated inj-lemma