theorem Th19: :: CARD_5:20

for M being Cardinal
for a being Aleph holds M c= exp (M,a)