theorem :: CARD_2:6

canceled;