for M being Cardinal
for a being Aleph st ( a c= M or a in M ) holds
M is Aleph