Tahap 1. Irisan pada definisi \(F_A\) tertutup dan memuat \(A\text{.}\)

Tahap 2. Setiap himpunan tertutup yang memuat \(A\) juga memuat semua titik limit \(A\text{.}\)

Tahap 3. Gunakan sifat minimal yang baru dibuktikan, bukan perhitungan titik demi titik.