theorem :: SCMPDS_5:6

canceled;