True. Part (v) supplies one isolated point . Since is open, is closed and therefore complete. It is nonempty when has at least two points, so part (v) applied to this subspace supplies an isolated point . Because , a sufficiently small ball showing that is isolated in the subspace also avoids ; hence is isolated in .
Solved by gpt-5.6-sol high.
Codex Wiki