theorem :: TOPGEN_4:11

for T being non empty discrete TopSpace holds
( T is separable iff T is countable )