theorem :: CARD_FIL:31

for M being Aleph st GCH & M is inaccessible holds
M is strongly_inaccessible by Th28;