theorem :: LATSTONE:40

for B being Boolean Lattice holds Skeleton (B squared-latt) = { [a,a] where a is Element of B : verum }