強すぎ同値撤退