Изменения

Если импликация <tex> (*) </tex> верна для некоторой последовательности степеней <tex> d </tex>, то она верна и для неубывающей последовательности <tex> d' </tex>, мажорирующей <tex> d </tex>.

|proof=

# Пусть <tex> d'_k \leq k, \mbox{ } d'_{n - k} \geq d_{n - k} \geq n - k </tex>. <tex> (\mbox{true} \rightarrow \mbox{true}) = \mbox{true} </tex>. Значит, и в этом случае импликация <tex> (*) </tex> верна для последовательности <tex> d' </tex>.

Значит, импликация <tex> (*) </tex> выполняется и для последовательности <tex> d' </tex>, q.e.d.