theorem :: MODCAT_1:13

canceled;