  We prove analogues for hypergraphs of Szemer\'edi's regularity lemma and theassociated counting lemma for graphs. As an application, we give the firstcombinatorial proof of the multidimensional Szemer\'edi theorem of Furstenbergand Katznelson, and the first proof that provides an explicit bound. Similarresults with the same consequences have been obtained independently by Nagle,R\"odl, Schacht and Skokan.
We prove analogues for hypergraphs of Szemer\'edi's regularity lemma and the associated counting lemma for graphs.