for X being set st X is countable holds
Fin X is countable