a0 |b|=b
|a|>|b| -a>b a+ba |b-a|=b-a
|a|-|a+b|-|b-a|
=-a-[-(a+b)]-(b-a)
=-a+a+b-b+a
=a