theorem :: ALTCAT_1:1

canceled;