theorem :: CARD_FIL:1

for x being set
for X being infinite set holds card {x} in card X by CARD_3:86;