theorem SquaredCarrier: :: LATSTONE:34

for B being Boolean Lattice holds the carrier of (B squared-latt) = B squared