Группоид с тождествами

[arqady]

Не вижу, где у меня здесь ошибка. Помогите, пожалуйста, найти.
Спасибо!
Я там под своим именем: Michael Rozenberg.

[svv]

Нету у Вас ошибок. Почему думаете, что есть?

[grizzly]

svv в сообщении #1274135 писал(а):

Почему думаете, что есть?

Так заминусовали ж жестоко. Сейчас исправляется ситуация -- то ли минуса снимают, то ли другие плюсуют.

[svv]

Там был остроумный момент — в доказательстве (2) использовано (1). Может, не поняли?

[grizzly]

svv в сообщении #1274145 писал(а):

Может, не поняли?

Да я сам не с первой попытки въехал в хитросплетение букв. Но чтоб рискнуть из-за этого заминусовать на ровном месте без комментариев участника с таким рейтингом?!

[arqady]

Спасибо ребята! Вроде бы считается приличный форум. Я уж думал у меня совсем крыша поехала.

[Walker_XXI]

Я тоже ошибок не вижу (тем более что первая строчка повторяет ход рассуждений автора вопроса). Наверное надо было дать пояснения, что чем и на основании какого тождества заменяется (а то буквы везде одинаковые и, вероятно, не все сразу поняли идею доказательства).

[iifat]

Там, по-моему, используется ассоциативность, не? Она где-то неявно предполагается?

[grizzly]

iifat в сообщении #1274230 писал(а):

Там, по-моему, используется ассоциативность, не?

Не. Там используется только то, что дано.

[Walker_XXI]

iifat в сообщении #1274230 писал(а):

Там, по-моему, используется ассоциативность, не?

Не, там только подстановки в соответствии с двумя заданными тождествами (вместо правой части пишем левую) и первым доказанным (при доказательстве второго утверждения).