theorem Th8: :: YELLOW_9:8

for T being TopSpace st T is empty holds
the topology of T = {{}}