theorem Th87: :: CARD_3:90

for M, N being Cardinal holds
( N in M iff nextcard N c= M )