theorem
  X = LAp X iff X = UAp X
by Th15,Th16;
