theorem Th22: :: ABCMIZ_1:22

for X being finite Subset of (Rank omega) holds X in Rank omega