theorem Th22: :: YELLOW_8:22

for T being non empty Hausdorff TopSpace holds T is sober