>>541
半分利確、半分同値撤退で解決するよ