theorem
  omega is inaccessible
by CARD_5:30;
