theorem :: CAT_2:43

canceled;