Нигде не нашел доказательства того, что множители можно ставить в любом порядке. Я нашел доказательство максимум для четырех множителей. Может кто-то знает?
>>45161 Для n чисел: полагаю группируешь скобками. В левой скобки все числа от одного до n-1. В правой 1. Слева имеешь произведение. По определению из R->R. Значит есть х из R равное произведению. Имеешь вновь два числа. Одно из них х, другое - энное число из начала. Опять два множителя. Для двух множителей мы имеем уже.
>>45161 Для трёх верно. Допустим верно для n множителей, смотрим что будет для n+1 множителей (a1+a2+...+an-1+an) + an+1 = ((a1+a2+...+an-1)+an) + an+1 =(a1+(a2+...+an-1+an)) + an+1 = a1+((a2+...+an-1+an) + an+1 ) = a1+(a2+...+an-1+an + an+1 ).