Tahap 1. Andaikan sebaliknya bahwa \(x\notin C\text{.}\)

Tahap 2. Karena \(C\) tertutup, \(X\setminus C\) adalah lingkungan terbuka dari \(x\text{.}\)

Tahap 3. Bandingkan lingkungan itu dengan syarat \(x\in A'\) dan inklusi \(A\subseteq C\text{.}\)