theorem Th39: :: FINTOPO8:39

for NT being T_2 NTopSpace
for x, y being Point of NT st x <> y holds
ex Vx being Element of U_FMT x ex Vy being Element of U_FMT y st Vx misses Vy