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