l a+b l - l b-2 l - l c-a l - l 2-c l
<= l a l + l b l - l b l - 2 - l c l -l a l - 2 - l c l
= - 2 - l c l