Анон, поясни, почему следующее доказательство данного утверждения (a+b = b+a) недействительно:
Пусть a+b = k, тогда
a = k - b
Отсюда
a+b = b+k-b
a+b = k
a+b = a+b
ч.т.д.
И если это неправильно, то как тогда доказать утверждение?