theorem :: YELLOW15:30

for T being T_0 TopSpace st T is infinite holds
for B being Basis of T holds B is infinite