theorem Th59: :: FOMODEL0:59

for X being set holds
( (X -freeCountableSet) /\ X = {} & X -freeCountableSet is infinite )