すみません、>>400の解答で、
4行目から絶対値を付けていいことの証明は
しなくてもいいんでしょうか?(両辺正だから、とか。)