> |a| + |b| = ±a ±b

正確には、ここは絶対値が外れるように
適当な組み合わせの符号を取っているという意味ね。