regularity_lemma
Platinový člen