theorem Th29:
  UAp X` = (LAp X)`
proof
  (UAp X`)`` = (LAp X``)` by Th28;
  hence thesis;
end;
