theorem Th15: :: CARD_1:16

for X, Y being set st card X = card Y holds
nextcard X = nextcard Y