theorem Th36: :: NELSON_1:57

for L being Nelson_Algebra
for a being Element of L holds ((- (! a)) => a) "/\" (a => (- (! a))) = Top L