Misalkan \(X\) reguler lengkap. Buktikan bahwa untuk setiap \(x\notin F\) dengan \(F\) tertutup, terdapat lingkungan buka saling lepas bagi \(x\) dan \(F\text{.}\) Jelaskan mengapa syarat \(T_1\) tetap dicantumkan dalam definisi ruang Tychonoff.