theorem Th24: :: YELLOW_8:24

for T being non empty sober TopSpace holds T is T_0