theorem Th20: :: NELSON_1:40

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