card (f .: A) c= card A by CARD_1:67;
hence f .: A is countable by WAYBEL12:1; :: thesis: verum