theorem :: CARD_1:1

canceled;