theorem :: LATSTONE:36

for B being Boolean Lattice holds [(Top B),(Top B)] in the carrier of (B squared-latt)