regularity_lemma