Полу-кольцо мин плюс

[MGM]

Профессор Снэйп в сообщении #320322 писал(а):

MGM в сообщении #320214 писал(а):

А если я пишу - известно!!!, что пара образует для действительных чисел полукольцо, а следовательно для неё выполняются свойства....

"Известно" в данном случае подразумевает, что любой мало-мальски грамотный человек способен выписать аксиомы полукольца и путём достаточно тривиальных рассуждений убедиться, что они выполняются. Грубо говоря, очевидные вещи "известны", а "очевидные" --- это такие, доказательство которых не вызывает затруднений.

Ваш совет?
Если я понял правильно, просто переписать один в один доказательство уважаемого ревьюэра,
без всяких ссылок на толстые математические фолианты,
и выкинуть аппендикс.
Для меня бы это было лучшим вариантом.