regularity_lemma
Platina-medlem