theorem Th15: :: SHEFFER1:15

for L being non empty Lattice-like Boolean LattStr holds L is lower-bounded'