theorem :: MODCAT_1:14

canceled;