Источник TeX:
(AB + BC) - BC > AC - BC