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