theorem SquaredBottom: :: LATSTONE:37

for B being Boolean Lattice holds Bottom (B squared-latt) = [(Bottom B),(Bottom B)]