theorem :: ALTCAT_1:9

canceled;