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