証明問題を逆からやる奴って同値じゃない処理をやる奴結構いるからな
ひどい奴だと辺々加える操作してたり