theorem :: CAT_2:49

canceled;