theorem :: COH_SP:11

for C being Coherence_Space st C = bool (union C) holds
Web C = Total (union C)