>>648
戻った。
ここから、上がることを。

いや、同値撤退しよう。