どこでショートした?
同値撤退はいける