theorem :: CAT_2:4

canceled;