theorem :: CAT_2:26

canceled;