 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
  Bottom L = Bottom SkelLatt L & Top L = Top SkelLatt L
  proof
    Bottom L in Skeleton L & Top L in Skeleton L by Lm1;
    hence thesis by ThB,ThC;
  end;
