theorem :: ALTCAT_1:10

canceled;