theorem :: CAT_1:10

canceled;