The corner theorem in integer grids. The earliest application of concept of regularity appeared in Szemeredi's proof on arithmetic progressions in dense subsets of integers. Then it became a frequently used technique in graph theory and theoretical computer science. We give a simple proof based on a variant of the hypergraph removal lemma. We will also talk about the Density Hales-Jewett theorem.