theorem :: CAT_2:46

canceled;