theorem :: CARD_5:15

canceled;