theorem
  omega is strongly_inaccessible by Th26,CARD_5:30;
