271
правка
Изменения
Нет описания правки
|statement=
Пусть верно следующее:
# <tex> (*) </tex> выполнена выполнено для последовательности <tex>\ d_1, d_2, ... , d_n </tex>.
# <tex>\ d_1 \le d_1' , ... , d_n \le d_n' </tex>.
Тогда <tex>\ (*) </tex> выполнена и для <tex>\ d_1', ... , d_n' </tex>.