:: deftheorem SCMPDS_1:def 17 :
canceled;