Theorem 3.1
There is an open neighborhood of
contained in
.
Proof
Apply Propositions
3.2
and
3.3
.