theorem :: ISOCAT_1:1

canceled;