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 4;
hence for X being set st X c= M & card X in M holds
sup X in M by CARD_5:38; :: thesis: verum