theorem :: CAT_2:3

canceled;