theorem :: MSSCYC_1:1

canceled;