theorem Th68: :: COHSP_1:68

for C being Coherence_Space
for x, y being set st {x,y} c= union C & not {x,y} in C holds
{x,y} in 'not' C