Kedua prapeta itu terbuka, saling lepas, dan masing-masing memuat \(x\) serta \(F\text{.}\) Regularitas lengkap sendiri tidak memaksa titik-titik tertutup, sehingga \(T_1\) ditambahkan secara terpisah.