:: deftheorem CARD_FIN:def 3 :
canceled;