easy cases in inj-lemma