for X being infinite set holds card (Fin X) = card X