Источник TeX:
a + c > b + c