theorem :: CAT_2:24

canceled;