theorem Th67: :: COHSP_1:67

for C being Coherence_Space
for x, y being set st x <> y & {x,y} in C holds
not {x,y} in 'not' C