theorem :: OPPCAT_1:1

canceled;