theorem :: ISOCAT_2:4

canceled;