theorem :: CAT_1:26

canceled;