regularity_lemma
Platinajäsenyys