theorem Th22: :: CARD_LAR:22

for M being non countable Aleph
for X being Subset of M st omega in cf M holds
for f being sequence of X holds sup (rng f) in M