theorem :: LATSTONE:35

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