Idea of the closed set and the proof