Lemma that when a graph contains few copies of a given subgraph, then all of the copies can be eliminated by removing a small number of edges