Rubrik lengkap: buktikan secara terpisah bahwa pemisah terbuka untuk dua titik tetap menjadi pemisah setelah diiriskan dengan subruang; lalu buktikan bahwa keteraturan diwarisi menggunakan \(F=A\cap C\text{.}\) Karena \(T_3\) berarti reguler sekaligus \(T_1\text{,}\) kedua bagiannya harus disebutkan.