>>886
凸前提?0凸だとどうかな