regularity_lemma
Platin-medlem