theorem :: ALTCAT_1:2

canceled;