theorem Th5: :: LATTICE6:5

for L being upper-bounded Lattice
for b being Element of L holds not b is-upper-neighbour-of Top L