:: deftheorem COH_SP:def 14 :
canceled;