theorem :: CARD_3:89

for M, N being Cardinal st nextcard N = nextcard M holds
M = N