theorem :: SCMPDS_2:60

canceled;