theorem Th35: :: TOPGEN_3:35

for X being infinite set
for A being Subset of X st A is finite holds
A ` is infinite