An extremal theorem in the hypercube