theorem :: CARD_FIL:30

for M being Aleph st M is strongly_inaccessible holds
M is inaccessible ;