theorem :: OPPCAT_1:14

canceled;