Lemma 3.2

  If is compact, , , and

 

where int denotes the interior of S, then there is a neighborhood N of x such that

Proof

Condition implies that holds for z in a neighborhood of x, so Lemma 3.2 follows from Lemma 3.1.