for X, Y being set st card X c= card Y & Y is countable holds
X is countable