theorem :: ALTCAT_1:3

canceled;