let M be Cardinal; :: thesis: for a being Aleph holds M c= exp M,a
let a be Aleph; :: thesis: M c= exp M,a
1 in a by Lm1, Th25;
then ( ( M = 0 & {} c= exp M,a ) or ( exp M,1 c= exp M,a & exp M,1 = M ) ) by CARD_2:40, CARD_3:139, XBOOLE_1:2;
hence M c= exp M,a ; :: thesis: verum