theorem :: COH_SP:13

for C being Coherence_Space holds CohSp (Web C) = C