＊＊＊ CVEx[K は登録されていません。＊＊＊