Tahap 1: langkah sebelumnya berlaku untuk setiap \(x\in O\text{.}\) Tahap 2: setelah memperoleh inklusi himpunan, gabungkan dengan fakta yang sudah terbukti bahwa \(\Int(A)\) terbuka dan termuat dalam \(A\text{.}\)