Pemeriksaan H.11. Menuntaskan arah balik teorema gabungan bola.
Pada langkah terakhir aktivitas pembuktian bagian Himpunan Terbuka, selesaikan argumen bahwa gabungan bola-bola terbuka \(O\) memang terbuka. Rubrik: mulai dari titik sebarang, pakai bola penyusun yang memuatnya, bangun bola berpusat di titik itu, lalu tutup semua kuantor.