theorem :: ALTCAT_1:4

canceled;