5凸をTHの0凸に入れたら凸4になるんだっけ