for X being set st not X is finite holds
card X = omega *` (card X)