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