Theorem 3.1

  There is an open neighborhood of contained in .

Proof

Apply Propositions 3.2 and 3.3.