theorem :: CAT_1:20

canceled;