Говоря в терминах абстрактной алгебры, множество действительных чисел является группой по сложению. Поэтому по третьей аксиоме

, где 0 - нейтральный элемент по сложению. Прибавление к обоим частям равенства этого обратного по сложению элемента, и будет, в некотором смысле, сокращением.