:: deftheorem SCMPDS_1:def 16 :
canceled;