1. This can be proven by rewriting the statement of the theorem as, "If is an open set of that does not intersect , then does not intersect ," using the definition of in terms of open sets.

3. First, , for any open neighborhoods of a point minus that point intersecting must also intersect . Now, all we need to prove is that any element of belongs to . For this, we can use the results of (1).