theorem :: CAT_2:1

canceled;