theorem :: COH_SP:3

{{}} is Coherence_Space by Th2, ZFMISC_1:1;