Из равенства b+a = c+a следует равенство b+a+(-a) = c+a+(-a). Отсюда, дважды применяя аксиому 2, получаем b+(a+(-a)) = c+(a+(-a)). В силу аксимы 4 имеем: a+(-a) = 0. Поэтому b+0 = c+0. Дважды применяя аксиому 3, получаем требуемое утверждение. 0