theorem Th33: :: NELSON_1:54

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