theorem :: CAT_2:2

canceled;