前問題からの流れを考えて訳を修正

この問題は、一つ前の問題の逆向きの証明を行なう問題になっているので、訳を以下のように修正してみました。