theorem :: CARD_1:45

for X being set st X is finite holds
nextcard X is finite