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