theorem Th34: :: NELSON_1:55

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