theorem Th17: :: CARD_1:18

for A being Ordinal holds A in nextcard A