theorem Th7: :: LATTICE6:7

for L being lower-bounded Lattice
for b being Element of L holds not b is-lower-neighbour-of Bottom L