>>821-822
理解できました.>>615の方針でも良かったのですね.
証明を見ると当たり前のような気がしてきました.

ありがとうございました.