theorem :: ISOCAT_1:2

canceled;