small lemma and one difficult case