theorem Th25: :: YELLOW13:25

for T being non empty TopSpace
for P being basis of T holds not P is empty