If is compact, , , and where int denotes the interior of S, then there is a neighborhood N of x such that
Condition implies that holds for z in a neighborhood of x, so Lemma 3.2 follows from Lemma 3.1.