theorem Th10:
  [#] A is closed unbounded
by ORDINAL2:18;
