theorem Th24: :: SHEFFER1:24

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