theorem :: CARD_3:73

canceled;