theorem :: CARD_FIN:1

canceled;