theorem Th2: :: COH_SP:2

for X being set holds bool X is Coherence_Space