theorem Th5:
  {} is hierarchic;
