theorem Th32: :: NELSON_1:53

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