6. Szemerédi's graph regularity lemma I: statement and proof