>>174
同値撤退が無難かもですね