theorem :: CAT_1:19

canceled;