An extremal theorem in the hypercube - David Conlon (2010)