theorem Th23: :: NELSON_1:43

for L being Nelson_Algebra
for b being Element of L holds (Top L) => b = b