theorem Lm1: :: LATSTONE:21

for L being Stone Lattice holds
( Top L in Skeleton L & Bottom L in Skeleton L )