Arah maju: \(\Int B\) terbuka dan termuat di \(B\text{.}\) Arah balik: terapkan syarat pada himpunan terbuka \(B=O\text{,}\) sehingga \(\Int O=O\text{.}\)