最後の、題意より～成立する
の意味がわからず。すべての値の証明になってない。
難しい問題だ。