 reserve L for Lattice;
 reserve I,P for non empty ClosedSubset of L;
reserve L for lower-bounded pseudocomplemented Lattice;
reserve L for Stone Lattice;

theorem Lm1:
  Top L in Skeleton L & Bottom L in Skeleton L
proof
  (Top L)* in Skeleton L & (Bottom L)* in Skeleton L;
  hence thesis by Th11a,Th11;
end;
