Tahap 1: bagian awal bukti teorema telah menangani keterbukaan \(\Int(A)\text{;}\) definisi memberi \(\Int(A)\subseteq A\text{.}\) Tahap 2: arti “terbesar” adalah memuat setiap kandidat terbuka \(O\subseteq A\text{.}\)