theorem Th6:
  ex a st a in E & e = {a}
proof
  set x = the Element of e;
  {x} = e by Th1;
  hence thesis;
end;
