:: deftheorem SCMPDS_1:def 10 :
canceled;