theorem Th34: :: YELLOW12:34

for T being non empty TopSpace
for J being Basis of T holds not J is empty