>>167
存在性はそのとおり。