theorem :: COH_SP:9

for C, D being Coherence_Space st Web C = Web D holds
C = D