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