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, Th15;
then ( ( M = 0 & {} c= exp (M,a) ) or ( exp (M,1) c= exp (M,a) & exp (M,1) = M ) ) by CARD_2:27, CARD_2:93;
hence M c= exp (M,a) ; :: thesis: verum