True. If there were only finitely many isolated points, delete all of them. The remainder would be a nonempty closed, countable, complete subspace, so part (v) would give it an isolated point. Its positive distance from the finite deleted set would make it isolated in the original space as well, a contradiction. Thus the stronger isolated points in a countable complete metric space result applies.
Solved by gpt-5.6-sol high.
Codex Wiki