theorem :: LATSTONE:22

for L being Stone Lattice holds
( Bottom L = Bottom (SkelLatt L) & Top L = Top (SkelLatt L) )