Lemma 4.2 verified for all graphs on <= 6 vertices; (graph, subset) pairs checked: 11082
