Generalize lemma to interval_covered