theorem :: CARD_3:76

canceled;