Изменения

# Пусть <tex> d'_k > k </tex>. <tex> (\mbox{false} \rightarrow \mbox{true}) = (\mbox{false} \rightarrow \mbox{true}) = \mbox{true} </tex>Тогда первый аргумент импликации всегда ложен, следовательно импликация верна вне зависимости от второго аргумента. Значит, в этом случае импликация <tex> (*) </tex> верна для последовательности <tex> d' </tex>.# Пусть <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>.