theorem :: COH_SP:12

for X being set
for E being Tolerance of X holds Web (CohSp E) = E