omega is strongly_inaccessible by Th26, CARD_5:30;