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.
is compact,
, 
,
and
where int
denotes the interior of S,
then there is a neighborhood N of x such that
implies that 
holds for z in a neighborhood
of x, so Lemma 3.2 follows from Lemma 3.1. 