theorem Th33: :: CARD_FIL:33
for M being Aleph st M is measurable holds
M is regular