theorem Th70: :: COHSP_1:70

for C being Coherence_Space holds 'not' ('not' C) = C