
theorem Th2:
  for M being regular Aleph, X being set st X c= M & card X in M
  holds sup X in M
proof
  let M be regular Aleph;
  cf M = M by CARD_5:def 3;
  hence thesis by CARD_5:26;
end;
