theorem :: COH_SP:1

for C being Coherence_Space holds {} in C