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