theorem Th35: :: YELLOW12:35

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