theorem SquaredTop: :: LATSTONE:38

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