theorem :: CAT_1:3

canceled;