theorem Th96:
  <*d*> in 1-tuples_on D
proof
  <*d*> in the set of all  <*d1*>;
  hence thesis by Th94;
end;
