theorem
  { {} } is Tree;
