theorem Th14:
  LAp X c= UAp X
proof
  LAp X c= X & X c= UAp X by Th12,Th13;
  hence thesis;
end;
