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