Lanjutkan panduan 7. Sumber meminta kandidat bola terbuka di \(A\) yang berpusat di \(a\) dan termuat dalam \(A\text{.}\) Identifikasi kandidat itu dan buktikan pernyataan yang lebih kuat yang diperlukan oleh pembuktian, yaitu bahwa bola tersebut termuat dalam \(O_A\text{.}\) Rubrik: gunakan definisi metrik pembatasan untuk membuktikan kesamaan bola, lalu gunakan dua inklusi yang sudah diketahui.