theorem :: CAT_4:45

canceled;