definition of [h]-simplifiable set moved
lemma 2 copied to section about correctness