for A being Ordinal holds A in nextcard A