theorem :: CARD_1:43

canceled;