theorem Th22: :: NELSON_1:42

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