theorem :: SCMPDS_6:4

canceled;