Jangkar sumber: prompt 34 dalam latihan ex_Metric_space_regular. Buktikan bahwa setiap ruang metrik merupakan ruang normal. Rubrik: untuk dua himpunan tertutup saling lepas, konstruksi harus tetap bekerja ketika jarak global antara kedua himpunan adalah nol.