:: deftheorem COH_SP:def 28 :
canceled;