訂正
>そこで、>>718のように場合わけして考える。
は、
>>723のように場合わけ(ry
に訂正。