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