theorem :: COH_SP:26

canceled;