theorem :: CAT_2:42

canceled;