statement of Szemerédi regularity lemma