theorem Th68:
  a in A* implies A* = (A \/ {a})*
by ZFMISC_1:31,Th67;
