theorem :: ISOCAT_2:3

canceled;