Пример из Зорича

[grozglaz]

Если следствием 3° пока пользоваться нельзя, то как тогда получили $(-(x\cdot0))$?
Или тут можно как-то обойтись?

[a_nn]

А зачем тут 3-е следствие? Просто обратный элемент. Потому и скобки.

[grozglaz]

a_nn в сообщении #534340 писал(а):

А зачем тут 3-е следствие? Просто обратный элемент. Потому и скобки.

Ну вот это я, собственно, и спрашиваю — как тут обошлись без следствия 3°?
Если бы этим следствием можно было пользоваться, то тогда никаких вопросов у меня не возникло бы: $x\cdot0=x\cdot(0+(-0))=x\cdot0+x\cdot(-0)=x\cdot0+x\cdot(-1)\cdot0=x\cdot0+(-1)\cdot(x\cdot0)=x\cdot0+(-(x\cdot0))=0$

[a_nn]

К обеим частям равенства, полученного в первой скобке, прибавляют обратный элемент (он ведь есть там в аксиомах?)

[grozglaz]

a_nn в сообщении #534355 писал(а):

К обеим частям равенства, полученного в первой скобке, прибавляют обратный элемент (он ведь есть там в аксиомах?)

Вот это подходит, спасибо.