theorem Th5: :: DILWORTH:5

for X being infinite set
for n being Nat ex Y being finite Subset of X st card Y > n